A. K. Fedyukovich: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An apparatus for temperature-sensor dynamic-response determination

P. I. Anferov, Yu. V. Vidin, Yu. A. Galenko, V. V. Zamyatina, V. P. Lushev, A. K. Fedyukovich, Yu. V. Khrustalev

Journal:

Measurement Techniques

Year:

1990

Language:

english

File:

PDF, 151 KB

english, 1990

2

[IEEE 2019 Formal Methods in Computer Aided Design (FMCAD) - San Jose, CA, USA (2019.10.22-2019.10.25)] 2019 Formal Methods in Computer Aided Design (FMCAD) - Property Directed Inference of Relational Invariants

Mordvinov, Dmitry, Fedyukovich, Grigory

Year:

2019

File:

PDF, 9.06 MB

2019

3

[IEEE 2013 17th European Conference on Software Maintenance and Reengineering (CSMR 2013) - Genova (2013.3.5-2013.3.8)] 2013 17th European Conference on Software Maintenance and Reengineering - PINCETTE - Validating Changes and Upgrades in Networked Software

Chockler, H., Denaro, G., Meijia Ling,, Fedyukovich, G., Hyvrinen, A. E. J., Mariani, L., Muhammad, A., Oriol, M., Rajan, A., Sery, O., Sharygina, N., Tautschnig, M.

Year:

2013

Language:

english

File:

PDF, 511 KB

english, 2013

4

Centralized librication system for the electric spindles of spinning machines

Yu. V. Vidin, V. V. Kolosov, A. K. Fedyukovich

Journal:

Fibre Chemistry

Year:

1979

Language:

english

File:

PDF, 144 KB

english, 1979

5

Flexible SAT-based framework for incremental bounded upgrade checking

Fedyukovich, Grigory, Sery, Ondrej, Sharygina, Natasha

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 2.57 MB

english, 2015

6

[ACM Press the 2014 International Symposium - San Jose, CA, USA (2014.07.21-2014.07.25)] Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014 - Verification-aided regression testing

Pastore, Fabrizio, Mariani, Leonardo, Hyvärinen, Antti E. J., Fedyukovich, Grigory, Sharygina, Natasha, Sehestedt, Stephan, Muhammad, Ali

Year:

2014

Language:

english

File:

PDF, 738 KB

english, 2014

7

Exploiting partial variable assignment in interpolation-based model checking

Jančík, Pavel, Kofroň, Jan, Alt, Leonardo, Fedyukovich, Grigory, Hyvärinen, Antti E. J., Sharygina, Natasha

Journal:

Formal Methods in System Design

Year:

2019

Language:

english

File:

PDF, 1.22 MB

english, 2019

8

Interference suppression of X-ray scattering under total external reflection from rough surfaces

A.Yu. Karabekov, I.V. Kozhevnikov, V.E. Fedyukovich

Journal:

Journal of X-Ray Science and Technology

Year:

1993

Language:

english

File:

PDF, 325 KB

english, 1993

9

[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - Sampling invariants from frequency distributions

Fedyukovich, Grigory, Kaufman, Samuel J., Bodik, Rastislav

Year:

2017

Language:

english

File:

PDF, 220 KB

english, 2017

10

[IEEE 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Karlovy Vary (2013.4.8-2013.4.10)] 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Interpolation-based model checking for efficient incremental analysis of software

Fedyukovich, G., Hyvarinen, A. E. J., Sharygina, N.

Year:

2013

Language:

english

File:

PDF, 95 KB

english, 2013

11

SPIE Proceedings [SPIE Laser Optics '95 - St. Petersburg, Russia (Tuesday 27 June 1995)] Laser Optics '95: Biomedical Applications of Lasers - Pathophysiological aspects of laser application

Egorova, Alla B., Stavitskaya, Ekaterina Y., Salmin, Vladimir V., Fedyukovich, Lyudmila V., Mikhutkina, S. V., Shapran, M. V., Ivanov, V. V., Provorov, Alexander S., Serebryakov, Victor A.

Year:

1996

Language:

english

File:

PDF, 218 KB

english, 1996

12

SPIE Proceedings [SPIE BiOS '98 International Biomedical Optics Symposium - San Jose, CA (Tuesday 27 January 1998)] Lasers in Surgery: Advanced Characterization, Therapeutics, and Systems VIII - Experimental basis of laser therapy in pharynx pathology

Toropova, Lyudmila A., Fedyukovich, Lyudmila V., Egorova, Alla B., Anderson, R. Rox, Bartels, Kenneth E., Bass, Lawrence S., Garrett, C. Gaelyn, Gregory, Kenton W., Lui, Harvey, Malek, Reza S., Perlmu

Year:

1998

Language:

english

File:

PDF, 178 KB

english, 1998

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски